#include <stdio.h>

#include "rvemu.h"

int main(int argc, char *argv[]) {
    if (argc != 2) {
        printf("Usage: rvemu <elf_file>\n");
        return 1;
    }
    machine_t m;
    machine_load_program(&m, argv[1]);
    printf("pc: 0x%lx\n", m.state.pc);
    printf("host_alloc: 0x%lx\n", m.mmu.host_alloc);
    return 0;
}